|
|
Testování řídících a logických funkcí terminálu vývodového pole
Kaplanová, Klára ; Paar, Martin (oponent) ; Orságová, Jaroslava (vedoucí práce)
Tato práce se zabývá rozborem provozních manipulací ve vývodovém poli rozvodny a zohledňuje konfiguraci jeho přístrojového vybavení při následné konfiguraci logiky pro ovládání přístrojů v terminálu vývodového pole. Dále se tato práce zabývá spínacími zařízeními VN, jejich vlastnostmi a rozdělením, jejich vybavením mechanismy a pohony včetně způsobu jejich ovládání. Dále je práce zaměřena na konfiguraci logiky pomoci booleovských funkcí pro ovládání přístrojů terminálu vývodového pole v prostředí programu CAP 505 a její následné testování na terminálu REF 543 od firmy ABB. Cílem práce je teoretický rozbor ovládání a provozních manipulací v rozvodně VN, následné vytvoření a zápis blokovacích podmínek a s jejich využitím vytvoření funkční konfigurace terminálu vývodového pole rozvodny a její testování na demonstračním panelu osazeném terminálem REF 543 a dalším přístrojovým vybavením, které simuluje kompletní rozváděč VN. V tovární konfiguraci je simulace prováděna pomocí modulu LOGO! od firmy Siemens. Naším dalším cílem proto je navrhnou a následně provést zapojení terminálu vývodového pole tak, aby ovládací i signalizační prvky panelu byly přímo propojeny se vstupy a výstupy terminálu REF 543 a umožňovaly tak jeho ovládáni a kontrolu provozních stavů. Hlavním cílem práce je zpracovat podrobný popis vytvoření funkční konfigurace a následného nastavení terminálu REF 543 pro testování blokovacích podmínek.
|
|
| |
|
|
Knihovna pro boolovské funkce v algebraické normální formě
Vasilišin, Maroš ; Mrázek, Vojtěch (oponent) ; Dobai, Roland (vedoucí práce)
Táto bakalárska práca sa zaoberá návrhom a implementáciou knižnice v jazyku C pre manipuláciu Boolovych funkcií v Algebraickej Normálnej Forme. Väčšina existujúcich reprezentácií Boolovych funkcií je založená na binárnych rozhodovacích diagramoch. Algebraická Normálna Forma poskytuje oproti binárnym rozhodovacím diagramom určité výhody, napríklad tú, že sa dá z nej v lineárnom čase určiť Boolova hodnota funkcie. Implementovaná knižnica za pomoci jednoduchých štruktúr poskytuje efektívnu reprezentáciu Boolovej funkcie v programe. Výskumom sme zistili, že reprezentácia pomocou Algebraickej Normálnej Formy má svoj využitie, a v určitých prípadoch dosahuje lepšie výsledky ako reprezentácia pomocou binárnych rozhodovacích diagramov.
|
|
|
Minimalizace logických funkcí
Horký, Miroslav ; Davidová, Olga (oponent) ; Šeda, Miloš (vedoucí práce)
Pro minimalizaci logických funkcí se často využívají Booleova algebra a Karnaughovy mapy. Aplikace Karnaughových map je však založena na vizuálním rozpoznání sousedních buněk pro funkce s max. 6 proměnnými, a proto metoda není vhodná pro automatizované zpracování na počítačích. Přímá aplikace zákonů Booleovy algebry není omezena v tomto směru, ale neexistuje algoritmus, který by definoval posloupnost jejich použití, a tak rovněž není vhodná pro výpočet na počítači. Uvedené nevýhody odstraňuje metoda, kterou navrhli E. J. McCluskey a W. Orman Quine.
|
|
|
Teorie a algebry formulí
Garlík, Michal ; Mlček, Josef (vedoucí práce) ; Glivický, Petr (oponent)
V předložené práci studujeme teorie prvého řádu a jejich Lindenbaumovy algebry zkoumáním vlastností řetězu BnT n<ω, nazvaného B-řetěz, kde BnT je podalgebra Lindenbaumovy algebry daná formulemi s nejvýše n volnými proměnnými. Obohatíme strukturu Lindenbaumovy algebry, abychom zachytili rozdíly mezi teoriemi, jejichž B-řetězy jsou člen po členu izomorfní. Podáme několik příkladů teorií a spočítáme jejich B-řetězy. Zkonstruujeme model Robin- sonovy aritmetiky s n-tou algebrou definovatelných množin izomorfní kartézskému součinu spočetné atomární saturované Booleovy algebry a spočetné bezatomární Booleovy algebry. 1
|
|
|
Complete Boolean Algebras and Extremally Disconnected Compact Spaces
Starý, Jan ; Simon, Petr (vedoucí práce) ; Bukovský, Lev (oponent) ; Thümmel, Egbert (oponent)
Zkoumáme existenci specielních bod v nekonečných extremálně nesouvislých kompaktních topologických prostorech, které dosvědčují jejich nehomogenitu. S použitím Stoneovy duality ekvivalentně hledáme ultrafil- try na úplných Booleových algebrách s jistými kombinatorickými vlastnostmi. Zavádíme pojem koherentního ultrafiltru (koherentního P-bodu, koherentně selektivního ultrafiltru). Ukazujeme, že generická existence těchto ultrafiltr; na úplných Booleových ccc algebrách s váhou nepřesahující kontinuum je konzistentní s teorií množin, a že tyto utrafiltry slouží jako svědci nehomogenity duálních Stoneových prostor. Studujeme vlastnosti sekvenciální topologie na σ-úplných Booleových algebrách a její vztah k otázkám spojeným s měřitelností a subměřitelností těchto algeber. Ptáme se, zda sekvenciální topologie Booleovy algebry mže být kompaktní a tuto otázku částečně zodpovídáme pro speciální případ Suslinovy algebry.
|
|
|
Knihovna pro boolovské funkce v algebraické normální formě
Vasilišin, Maroš ; Mrázek, Vojtěch (oponent) ; Dobai, Roland (vedoucí práce)
Táto bakalárska práca sa zaoberá návrhom a implementáciou knižnice v jazyku C pre manipuláciu Boolovych funkcií v Algebraickej Normálnej Forme. Väčšina existujúcich reprezentácií Boolovych funkcií je založená na binárnych rozhodovacích diagramoch. Algebraická Normálna Forma poskytuje oproti binárnym rozhodovacím diagramom určité výhody, napríklad tú, že sa dá z nej v lineárnom čase určiť Boolova hodnota funkcie. Implementovaná knižnica za pomoci jednoduchých štruktúr poskytuje efektívnu reprezentáciu Boolovej funkcie v programe. Výskumom sme zistili, že reprezentácia pomocou Algebraickej Normálnej Formy má svoj využitie, a v určitých prípadoch dosahuje lepšie výsledky ako reprezentácia pomocou binárnych rozhodovacích diagramov.
|
|
|
Od asymptotické hustoty k Riemannově zeta-funkci
Grebík, Jan ; Balcar, Bohuslav (vedoucí práce) ; Zahradník, Miloš (oponent)
Zkoumáme souvislost kombinatoriky na množině přirozených čísel a měr rozšiřujících asymptotickou hustotu se strukturami teorie čísel a Rieman- novou zeta-funkcí. Dokazujeme, že při studiu měr rozšiřujících hustotu pomocí ul- trafiltrové limity se lze omezit na tenké ultrafiltry, a charakterizujeme σ-aditivitu takových měr pomocí ∗invariance ultrafiltrů. Zkoumáme vlastnosti generického rozšíření přes algebru P(N) modulo ideál množin nulové hustoty. Ukazujeme, že toto rozšíření je dvoustupňovou iterací, která v prvním kroku přidává selektivní ultrafiltr pomocí algebry P(N)/fin, a ve druhém kroku tento ultrafiltr ničí. Iso- lujeme také hodnoty některých kardinálních invariantů v tomto rozšíření.
|
|
|
Complete Boolean Algebras and Extremally Disconnected Compact Spaces
Starý, Jan ; Simon, Petr (vedoucí práce) ; Bukovský, Lev (oponent) ; Thümmel, Egbert (oponent)
Zkoumáme existenci specielních bod v nekonečných extremálně nesouvislých kompaktních topologických prostorech, které dosvědčují jejich nehomogenitu. S použitím Stoneovy duality ekvivalentně hledáme ultrafil- try na úplných Booleových algebrách s jistými kombinatorickými vlastnostmi. Zavádíme pojem koherentního ultrafiltru (koherentního P-bodu, koherentně selektivního ultrafiltru). Ukazujeme, že generická existence těchto ultrafiltr; na úplných Booleových ccc algebrách s váhou nepřesahující kontinuum je konzistentní s teorií množin, a že tyto utrafiltry slouží jako svědci nehomogenity duálních Stoneových prostor. Studujeme vlastnosti sekvenciální topologie na σ-úplných Booleových algebrách a její vztah k otázkám spojeným s měřitelností a subměřitelností těchto algeber. Ptáme se, zda sekvenciální topologie Booleovy algebry mže být kompaktní a tuto otázku částečně zodpovídáme pro speciální případ Suslinovy algebry.
|
|
|
Teorie a algebry formulí
Garlík, Michal ; Mlček, Josef (vedoucí práce) ; Glivický, Petr (oponent)
V předložené práci studujeme teorie prvého řádu a jejich Lindenbaumovy algebry zkoumáním vlastností řetězu BnT n<ω, nazvaného B-řetěz, kde BnT je podalgebra Lindenbaumovy algebry daná formulemi s nejvýše n volnými proměnnými. Obohatíme strukturu Lindenbaumovy algebry, abychom zachytili rozdíly mezi teoriemi, jejichž B-řetězy jsou člen po členu izomorfní. Podáme několik příkladů teorií a spočítáme jejich B-řetězy. Zkonstruujeme model Robin- sonovy aritmetiky s n-tou algebrou definovatelných množin izomorfní kartézskému součinu spočetné atomární saturované Booleovy algebry a spočetné bezatomární Booleovy algebry. 1
|
host ::
RSS.